perm filename PNSTT9.360[360,GF] blob
sn#873016 filedate 1989-05-03 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔εRp_g#⊂_Lπ∀ 0DBa
αtx¬SATpα↓ Dp↓αE@α⊗E@α∃`U ∧∀A∃α@@DpαAD`αA@DXααDPααTPα↓`TPαA dPλ∩a λα∪ `⊂αQ(F⊂
¬cqxβ↓ p('A)p('A p '↓)`('↓)`('↓ ` ↓↓)Pp&CiP8α↓)P(βA P ∧A @(∧A @(∧A @(∧A @ ¬↓ @ ¬↓ @ ∧A)0(∧A 0(∧A 0 ∧A)0 ∧A 0 ∧↓)0(αAI!%βi ⊂αAHT 1D#↓
αdx¬SAThβ↓ 4`αB∀`α∩`DXα∩`DPα∩@DPα∩@DPα∩@DPα∩@P@R`P(α∩aT`¬∪@d("→αaX∂Gb⊂(-A0 -A (-↓+ -↓ -↓⊂((A@ ('CI`x&A P0&↓ p(&↓↓(%A!(%A↓⊂ %A↓(%↓!(%↓↓⊂(%↓↓⊂(%↓↓⊂ %↓↓⊂ %↓↓⊂ %↓↓(%Ap(%A @8&βIP@A p(↓↓λT 2DBa
↓`tx¬SAThαA D`αA`D`αα 4XαB 4Xαα@4XλRB$Pα∩@DPα∩@DPα∩@DXαα@∀XαA`D`π∪!DxβQ(F0λFCqx¬↓J H(B*((↓ p('A p '↓)`('↓ 0p%CIP(&A)P(&A P &↓)@(&↓)@(&↓ 0(%A)0(%A)0 %A (%↓) ("Qq(Gα@@β↓ %πSb∧pαA dhαA`ThααT`αBT`αα T`ααdXαBTXαα TXαα TXαα TXαα TXαα TXααT`α↓`T`αAthπSAλαTPλαU@U0αU U β∀@tXεRAT`∧⊃(F@ Ecqxβ↓ p('A)p('A p '↓)`('↓)`('↓ ` ↓AIP(B)Px&A`@(&A p &A↓ &↓! &↓! &↓! &↓↓⊂ &↓↓⊂_&↓↓ %A! %A! %A! %A! %A↓⊂ %A↓ %↓! %↓! %↓! "Q
⊂`
π#P@↓T UλαT U⊂↓Q`@¬RA4P¬TUα∀Eα∪`TxαS`Txα∪`DpαS@TpαS@Tpα∪@DhαS ThαQ(FP E$QhλK⊂ ,A⊂ -Hp ∧αj P)αK +A*p(+A*p +A
`(+↓*`(+↓*` +↓
P(*A*P(*A*P *↓*@()A*0()↓*8%Bi X%α(T 5E#↓x∂A@DxαS`TxαS`Dxα∪@TpαS@Tpα∪@Dpα↓`dhαA@ThαAdhα↓Thα`Thα T`¬∪↓$`¬SP⊂α∪@_αS@ α∩`P α∩`P αR`P(α∩`P(αR`@8α∩`@8αR@P8αR@P@αR@P@αQ(F`¬E#qxαi X%αj((↓
'A)p('A)p('A p '↓)`('↓)`('↓ P(&A)P(&A)P &A @(&↓)@(&↓)@ &↓ 0(%A)0("Q
QH
¬α@ α@@ αS Pλβ@thε@ thβ``_α∪ P αADhαAP α∪ @(α↓ D`αA @(α∪P αAT`αA@(αSP αAD`α↓ @(α∩`P(α↓ DXαAP αR`P αATXαAP αR`P αADXα↓ @(α∩@P αATPαAP αR@P αAT("≠B18
¬@ ↓AIP(B)Px&A`@(&A p &A↓ &A↓ &↓! &↓! &↓↓⊂ &↓↓⊂_&↓↓ %A! %A! %A! %A! %A↓⊂ %A↓ %↓! %↓! %↓! "Q
q_Eα@@β∪a4pεS P(αSP8α∪@Hα∩`PHα∩`@Pα∩`@Pα∩@PPα∩@@Xα∩@@PαR@@Pα∩@@Pα∩@@HαR@@Hα∩`@8αR`P(αS↓Th¬S`d("≤αQ8∞¬P ↓↓)p B `x'↓`@('↓ p '↓↓⊂ '↓↓⊂ '↓↓⊂ &A!⊂ &A↓ &A↓ &A↓⊂(&A↓⊂ &A↓⊂ &↓↓⊂(&↓↓⊂ &↓↓(&↓ P0&βi@p%A 0%A)0 %A 0 %A (%↓) "Q∞⊃ Gα@8β↓ $xπSB∧hαA d`αA`T`ααTXαBTXαα TXααdPαBTPαα TPαα TPαα TPαα TPαα DPααTXα↓`TXαAt`πS!λαS`P⊂α∃ U(αU U(αU E αUU αQ(G⊂λEbA α↓⊂@&CIPp&A@@_&A)P(&A @(&↓)@(&↓)@ %A)0(%A)0(%A 0 %↓) (%↓(T 9Dbq
α↓∃εSadpαA`$pα∪@Dpα∪@Txβ∀↓¬⊂∧∃ e8αVE@α⊗DXB`TXα↓@dPλ∩At`¬⊃(G λFβ⊃Hβ@I`('↓)` '↓ !λ%∧)P(&A)P(&A @(&↓)@(&↓)@(&↓ 0(%A)0(%A)0(β@)@(α@i@`&BIp0"Q∞Q ¬α@_ααT`αBD`αBD`αBD`αA`T`ααTXαBTXαBDXαBDXαA`TXαA`TXααTPαBDPαBDPαBDPαA`TPαA@dXαAtXπS↓⊂λα∪ `_α⊃(G0 F"A ↓↓0 %↓! _%↓!⊂ %A↓⊂_%A↓ %A↓_%A ` %A `_%A P &↓P_&↓@_&↓ 0_&↓ _&↓ _&A⊂_&B P8&AiP0'↓)` "Q∞q8
Eα@λ↓D4X↓D4X↓C`4X↓C`4X↓A@@(↓R`0(αA4X↓A P ↓R@@ β@`4Pαa⊂α∩@@_∧@4Pα@@λα@4Pα@0⊂α DPα @_↓@ 4Pα 0 ↓@ 4P∧↓tPβA dPβA dPβ↓@dPαA`TPαA`TX↓B@4("≡αQ8
¬P(βA p(β↓
(α↓
(αj⊂(↓↓
⊂(A
@j 8)↓j0()A* 8(B
A)p ↓↓)p_α↓)` α↓)P β↓)@ βA)0 ∧A ¬↓(T <Dc↓`
PP↓R`PH↓R`PH↓S@@↓S@8α∪P0↓SP(α∪ @(↓S @ α∪ @ ↓S P⊂α∪ P⊂↓S@@λ↓S@@λ↓S@tpβS@dxαS`Dxα∪`4pα∪@4hα∪D`↓R`DX↓R@D("≡BA@
¬Px'Cia,A+0+↓jP8*↓j08)↓j@'Ai`8&Ai@8%Ai 0%↓)!⊂%∧)!λ"Qλ⊃0G#Ppα⊗E8β∃`e0βU@u(↓@ E(↓@ E ↓@@E ↓@@E_↓@`U_↓@`U⊂α`U⊂↓AUλα↓Uλ↓A@Eα↓@E↓A`Dxλ∪b∧pααTpααThαα Thαα@D`αα`D`αα`D`↓CTXαβTX↓C TPαβ T("⊂B18∞G P`'C)pp'AP('↓ ` '↓ ` '↓ ` '↓ ` '↓p_'↓` &A `_&A P_&BiPh&CI@(αAI@(β↓)@(βA)@(βA)@ ∧↓)@ ∧↓)0(∧↓)0(βAI0(βA)0 ∧↓)0 βA)0 β↓I!%βi h"Qλ1(
π#PXβ∀a%λπ∀`(α∪`P@↓S@PPS@@XS Thα∪T`αSDXαR`TXαR`DPαR@TPαR@TPαR@TPαR@TXαB@∀XαB 4Xβ↓@D`π∪!4xβQ(D ε#QhαC)px'D p βA)`(∧↓)`(∧↓)`(∧A ` ¬↓ ` ¬↓ ` ¬↓ P(¬↓ P(¬↓ P(¬↓ P ¬A P ¬↓ @(¬↓ @(¬↓ @(¬↓ @ ¬A @ ¬↓ @ ¬↓ 0(¬↓ 0(∧A 0(∧A 0 ∧A 0 ∧↓)0 β↓I!%βi `"QλQ(G#P(λ∪b∧xλ∪`DpαS@TpαS@Tpα∪@DhαS Thπ∪!dhπ∪T`αST`αSD`α∩`TXαR`TXα∩`DXα∩B$PλRB∀("⊃BaP∞G Qλ'D)qλ'A `('↓)` '↓ ` '↓ P(&A P &A Pp&βi@x&↓)@ &↓ @ %A)0(%A)0 %A 0 %↓) (%↓(T #E#!h∞B`e_¬∀!eβ↓TxαA`4pαB $pαα@∀hαS D`αST`α∩`TXαR`TXα∩@TPαB@DPαB TPαB TPαB TPαB DPαB DPαB DXαA`TXαA`TXβ↓@D`π∪!4xβQ(D@εCQhαA! 'A p('A p('A↓('↓! '↓! '↓! '↓ p('↓ p('↓↓(&A! &A! &D)Qλ&D)P ∧↓)@(∧↓ @(∧↓ @(∧↓ @ ∧↓)@ ∧↓)0(∧↓)0(∧↓ 0(∧↓ 0(∧↓ 0 ∧A 0 ∧↓) (∧↓) (∧↓ (∧↓λT $Dc↓h∞AATxπ∪ae α∀`U_αT`U_αT`U_α∀@U⊂αT@U⊂αT@E⊂α∀ UλαT UλαT EαTUαTUαTDPπ∩AdPπ⊃(DP Ed⊃h∧BJ0P)BK(,↓+ ,↓ +A*p(+A
p +A
`(+↓*`(+↓
` +↓
P(*A*P(*A
P *↓*@(*↓*0()A* 0%@ P0%β X%BλT %Ec!h∞A PHα∪`P@α∪`P8α∪`P0α∪@P8↓S@P0↓S@P(↓S@P ↓S@P_↓S@P⊂α∪ P⊂α∪ P⊂↓S Pλα∪!4h¬S `λα∪`⊂αSP α∪P α∪@(αS@0α∩`P0α∩`P0αR`P8α∩`P8α∩`@@αR`@Hα∩@PHα∩@PHαR@PPα⊃(D` ¬cQhαA)p('A)p '↓)`('↓)`('↓ ` &A)P(&A)P(&A P &↓)@(&↓)@ &↓ 0(%A)0(%A 0 %A !⊂%∧)!λ"Q QX∞π#P(αβ@4xαCTxαCTxαB`dpβα`Tpβα@dpβα tpβBtpβAa∧p↓@ 08↓@ Dh↓@@00α 4h↓@@00↓@@4h↓@@@ α@4h↓@@@ ↓@`4h↓@@@_α@Dh↓@`0_↓@`D`↓A0⊂α`4`↓A↓ ↓S0 ∧↓4`↓Ap(↓S0 β↓ DX↓A@P(α∩`00α↓@4X↓D4X↓D4X↓D4X↓C`DP↓DDP↓D4P↓D4("∪BaP∞G P ¬ip(∧@ip(∧@ip(∧@I`0∧i`8β@i`8β@i`8β@i`@βi`@α@iP_A P_&@` α@iP_↓↓ @_&@` (αiP_↓A@⊂&@@@ ↓@i@_α↓ _&`@(↓i@_αA _&`P(@i@_αB 0_βα 0_βAi0_βAi0_βAi0_∧↓I0⊂∧A) _∧A) _∧A) _¬↓λT 'E#⊃h∞B!¬εSatpαA@TpααThαα Thαα T`αB T`αα@T`αα@T`αα@TXαB@TXαα@dXαα@TXαα@TXαα@TXαα@TPαB@TPαα@dPαα@TPαα@TPαα@TPαα dPαα TPαα TPααTXα↓@dXπS↓Tp∧⊃(E
F#QhαC pp'Cip αAI`(β↓I`(βA)`(βA)` ∧↓)` ∧↓)` ∧↓)P(∧↓ P(βA)P(βA P βA)P β↓)@x&β)@(&↓ @ &↓ 0(%A)0(%A)0 %A (%↓) ("Q
⊃(H#PH∧∀↓TxπS@P0αS@@@αS @HαS @HαSPHαS@PαS@PαS@PαR`PPαR`@Pβ∩`@PαR`@PαR`@PαR`@PαR@PPαR@@Pβ∩@@PαR@@PαR@@PαR@@Hβ∩@@HαR@@HαR@@@αR`@0β∩at`εS!∀X↓AP_R`⊂8βUU(↓Q(E⊂
F#QhαC pp'Cip αAI`(β↓I`(βA)`(βA)` ∧↓)` ∧↓)` ∧↓ P(βA)P(βA P(β↓)P β↓)Pp&βI@(α↓ @(α↓ @ αA @ αA @ αA)0(β↓ 0(β↓ 0(β↓ 0(β↓ 0 βA 0 βA (βA) (∧↓ (∧↓λT )E#⊃h∞B@u⊂ε∀!eαA@5αα$xα∪`Dxα∪`DxαS`UαTeλβ∀@e_β∃ U0αU`E8αVE@α⊗E@α∩` X↓R`0Hα∩`P(αRAtXεSA∧("∃α⊃P∞G ↓λ%∧)!λ(↓
(↓ p('A)p 'A p '↓)`('↓)` '↓ ` &A)P(&A P &A @(&↓)@(&↓ @ %A)0(%A(T *Eβ!h∞@`PH↓S PH↓S PH↓S @P↓∪ @H↓SPH↓SPH↓SPH↓S@P↓S@H↓S@H↓R`PH↓R`PH↓R`@P↓R`@Hα∩`@H↓R`@H↓R@PH↓R@@P↓R@@P↓R@@H↓R@@H↓R@@H↓R@@@α∩@@@↓R@@8α∩`@(α∩aD`¬∪@d("∃Ba`∞G (πi (ε@i (ε@i (εi0 εi0 ¬A 0(¬i0(∧A 0(∧@i0(∧↓ 0(∧i0(βA @ β@i@(βi@(α@i@(α@i@(αi@(αi@(↓@i@(↓@iP ↓iP ↓iP ↓IP @iP8&AiP0&AI` '↓λT +FβAh∞@@@x↓S@x↓S@x↓∪@p↓S@p↓S@p↓S0p↓S00α@`4`↓A@P_↓S00α@`4Xα↓ `⊂↓R`@(β@4Xα↓p⊂↓R`@ ↓ @⊂↓R`@_↓@ @λ↓R`@_↓@ @λ↓R`@⊂↓@@@λ↓R`0_↓@@tX↓@@0_βR`0⊂↓@`tX↓@ 0 ↓@ 4X↓@ 0 β∩`0λ↓AdPβA dPβA dPβ↓@TPβ↓@TPαA`TPαA`TX↓BD("⊗β!X∞G `(¬A
0¬j⊂(∧@j⊂(∧↓
(β↓
(βj0(αj0(↓A
0(↓↓
@ ↓j@@*α
P0*A*` *AJ@8)B*0_A* A*⊂ ↓A* α↓*_β↓ p β↓)` βA)`_∧A P_¬↓)@ ¬↓)0 ε↓) εA(T ,EcQh∞@Ppα∩@Pp↓R`P`↓R`PXα∩`PPα∪PH↓SP@↓S P0α∪ P(α∪ P α∪@P_↓S@P⊂α∪@Pλα∪a∧x∧∀eαTUαTTxαS`TxαS`TxαS`Dxα∪@TpαS@T("⊗BaP∞G a(∧
↓-A+ 0,AK0+AJp0+↓JP0*A*@()AJ 0)↓*⊂((↓Ip0'A)`(&AIP(&↓)0(%↓) %∧I!λ%∧(T _∧c↓h∞B@U⊂∧∀!%↓ADx↓A@Dp↓B4p↓BDhααDh↓B D`αα D`αα DXαB DXαα@DXαα TXαα TPαB DPαB DPαα@DPαα TPαα DPαα DPαα 4PααDPαα4X↓B4Xα↓@4`α↓4`¬∪!∧pαQ(CλεEβapε*0 (↓i`@%Bi (↓↓)0λαA*⊂((A*((↓*((↓*((↓)p('A)p('A)p('A `('↓)`('↓)`('↓ ` &A)P(&A(T →¬#⊃h∞B`e_¬∀!Uα↓e↓↓`eB UPαV@UPαV@UPα⊗ UHα⊗U8αU`U0αU U αT`U⊂αT DxαS@Thα∩`DPλRB∀Pλ∩B∧("bA@∞G!⊂8(β
h(@`0,A+ -↓ -k⊂ ,@k_)↓j H)αJp(,↓+(,↓+(,↓+(+A*p(+↓*P0%@@`8%βi0`&BλT ~¬#⊃h∞C%0↓U E α∃5_α∀`5⊂α∀ @(↓T 0 αT@ αT0(αS`@(α∪@@0α∪@@0α∪ @0αS 08αS@8α∪0@α∩`@@α∩`0Hα∩BTP
RBE0α∃@E0α∃ U(αU D("
"QH∞G `x(βjx(βIp 'A p 'A p_'@i` 'αi`h+↓Jp(,↓+(,↓+(,↓+(+AJp(+A*`(*AI0⊂β↓i x%C P@"Qεa⊂G#PPβT!5¬S`dpαS@DhαS D`αS@_β∪@λ∧R`p(α∩``8↓R`P@α∩`P@α∩@PHα∩@PHα∩@PHα∩@@Pα∩@@HαR@@Hα∩@@Hα∩@@Hα∩@@@αR`0@α∩`08αR`@(αS↓Dh¬∪`d("
bQX∞G Aλ'∧)aλ'∧0_-k⊂ ,↓_+@j` +jP_*j0 )@j _(A
⊂_(↓ p 'A ` '↓ P &↓)@ %A)0 %↓(T ≤¬#↓h∞B@uλε∀↓dxβ↓@DxαB4pαB 4pαB 4pαB 4pαB $pαB4xαA@4xβ`E¬T!∧pεS `⊂βS@8β∩`@HαR`0XαR`0XαR@0`αR@0`αR@0`αR@0XαR@0XαR`0Hβ∩`@0βS↓thεSa∧("∞"!@∞G!('BI``&A@@ &↓@`_&↓ p_%A@p %A! %A! %↓A %↓A %↓!(%↓!(%↓!(%↓!(%↓ p(%↓ p(%↓ `0%A @8%B@⊂ &↓`0 *A*P *↓*@ )A*⊂0%Bi X%AhT ¬C1h∞A"∀xλSb∀xα∪@TpαS@Tpα∪@Dpα∪ ThαS Thα∪ D`αST`αST`α∪DXαR`TXαR`TXα∩`DPαR@TPαQ(@λFβQhπ↓+(+AJp8+α
`⊂A*P_A*P_A*@_↓A
@_↓A*0_α↓*0_α↓* _αA*⊂ αA*⊂_β↓* β↓*_∧↓)p ∧↓)p_∧A)` ∧A)`_¬↓)P ¬↓)P_ε↓)@_εA)@_εA)0_π↓)0⊂λ↓ !8%¬i!0"Q! π#PPαT!%ε∪`P αS@P0α∪@@@↓S P@α∪ @Hα∪PHα∪@Pα∪@Pα∩`PPα∩`Pλβ@ TXα@pλαR`@⊂β@ TPαB@DPαB@DPαB TPαα@TPαα@DPαα@DPαα TPαα DPααTX↓BDXα↓@TXαAT`ε∪!$xαQ(@_¬cQhπ↓ +AJp0+↓j`8*@`⊂ *@`⊂ *` *` )A ()@`0()↓0()`@((A@((@`` (↓` (`p 'Ap('@a('↓↓('a⊂(&A↓⊂(&A↓ &↓↓0 &↓↓0 &a@(%A↓@(%@aP(%↓↓P("QA@∞π#P0 ∪b4x SBD8∧↓AUεT↓UεQa
∩BDP RB4("↓"aP∞G Qλ'D)p ∧↓)p ∧↓)`(∧↓ `(∧↓ `(βA)` ∧↓)` ∧↓)` ∧↓)P(∧↓ P(∧↓ P(∧↓ P ∧↓)P ∧↓)@(∧↓)@(∧↓ @(∧↓ @(∧↓ @ ∧↓)@ ∧↓)0(∧↓)0(∧↓ 0(∧↓ 0(∧↓ 0 ∧A 0 ∧↓) (∧↓) (∧↓ (∧↓λT β¬#⊃h∞A"∧xλ∪b∧xα∪`UαTUλαT U⊂αT`U_αUU(αU U(α∃E_αT@UλαTTxαS@ThαSTXαR`DP ∩B∀PλQ(@8GβQh↓A!⊂ &↓``8%B @H%@@@_↓@`P⊂% p_↓@pλ% p_@J0⊂@J0⊂@*0 )A
0 )A
)↓
)↓
(A*⊂((A
⊂ (A
((↓*((↓
'A)p('A(T ∧¬cQh∞CE0α∃@E0↓U E⊂¬∪atpα@@@⊂α∪ P_α`D`αA0 α∪P_α↓TXαA@ αR`P α↓TXαA@ αR@` α↓TPαA 0 β∩@P α↓TPαA@ αR@P α↓TPαA@_αR`@ ↓ATXα`@_αS@⊂α@ThπSa%⊂α∀@5λα∀ Eλα⊃(@HGβQh¬↓
@ *↓
@_%A@ β↓ 0 α↓P(%A@ αA (α↓P %↓ @ αA α@`P(%↓@ αA α↓P %↓@ α↓) α↓@ %↓@ α↓ ↓AP %↓0 α↓ 0_↓A@ %A ↓A @_↓↓ (&↓⊂_AIPh'αj0(↓
(ip 'A p "Q↓!0π#P`β∃↓∃_¬T@0(αT 08α∀0H↓T0Hα∪`@Hα∪`0Pα∪@@Pα∪@@Pα∪@@Pα∪ @Xα∪ @PαS @Pα∪ @Pα∪ @HαS @Hα∪@0H↓S@0@α∪@0@↓S` 8↓S`00↓∀ (↓∀ (↓∀ ⊂ ↓∩A ∧∩A_∧RA_∧∩@p ∧⊃(A¬EαA αi X%αj((↓
(↓ p('A)p('A p '↓)`('↓)`('↓ ` &A)P(&A(T λDbQ`
α↓5⊂¬∀A%@α∃`U8αU`U8α∃`E0αU@U0αU@U0α∃@E(αU U(αU U(α∃U αT`U_αT@UβRa4P¬RA∀("∧BaPαπ@`0)AJP0+AK ("Qα18
Aβ`xβU@u β∀@dxβ⊃(A ε@Qhα@AP⊂'A↓((↓ @()αj@8*AλT
Ec08⊂¬ %↓β5↓B`%λ↓α@5λ↓B5⊂↓A E_¬∃ T("¬BaP↓π Qλ'D)qλ"Qαqλ
ACp`α∃ ⊂_↓∃⊂(U⊂(U⊂(U _U D(!@?␈␈x␈@α
␈␈␈x⎇␈␈␈x␈B5⊂∧⊗4x¬Sa∧("ε"Q@∂Ga 8)αj⊂h(↓ @0'A `('Ap('Ap('↓ p('↓↓ '↓p('↓`(&A ` &A P(&A @(&AP(&AP(&AP(&↓ ` &↓ `(&↓ p &↓↓(&↓↓⊂ &↓↓ %A! %A! %A! %A↓ (%A↓ %A↓⊂(%↓ @P%↓ @H%↓ @@"Qβ!@
¬α@8β@@dh
∪αd`α↓ P α∪ @↓A E0↓A E0↓↓@E(↓A@E_π∀"¬↓@ 4p↓@@Dh↓@`D`↓ADX↓A DPα↓ DPα↓ @8R@P_β↓4P
∩a⊂∧∪P(β⊃(AXεBA βA@@0'B ⊂H'¬ P(↓↓`0 &A@(α↓ @(α↓ @ &↓ @ αA 0(αAP %A P`%A P`%↓@@(%↓ P %↓ P %↓ P %↓ @(%↓ @(%↓ @(β) 0↓↓`@⊂%Di0HB @0α↓HT ∞¬#↓@∧`%h↓∀``_↓∀↓TxεS@P(αS P0αS @0βSP0↓ D`α↓@ ⊂α∪@(↓`DXαA α∩`@ ↓↓ DXα`0 αR`@_↓↓ DXα@ 0α∩`@λ↓↓@TXβ↓`D`α↓`T`αA ThεS↓TX↓`dP↓∩@∀("π#1`∞G!Pp+βjQ*B
@H*↓⊂ )A ⊂ )A ⊂ )↓ _)↓ ⊂ (A (A (A0P(↓ 0P(↓@P(↓0 'A@ 'A@ 'A@ 'β ``'`P &AP &@`` &↓`_&`p_%A` %@`p`%@`pX%aX"QβaP∞π#P@ ∀αDx
S@`⊂αS@P α∪ ` α∪ P(α∪ P(α∪ P(α∪P(αSP(α∪P(α∪P(¬SP(¬R`P0¬R`P(αR`P(αR`P(αR`P(αR@`(α∩@P(αR@P(αR@P(αR@P(αR@P αR@P αR@`⊂β∩BdX
∪α4("πc↓P⊃Hα`λ0+p⊂*B⊂⊂)βJ⊂x(↓ `((↓↓('A↓0'A↓0'↓ p8'↓p⊂A)` β@@⊂('↓`⊂↓↓)P(α@@0(&A`⊂↓↓IP α@@0(&A@⊂α↓)P α@@(&A0⊂αA)@(↓@@P(&↓0⊂αAI@ ↓@`(&↓ ⊂β↓)@ @@p(&↓@p0&↓@p(&↓!(&↓ p(&A`0&CiPp&@ @%@I0⊂%@(T /¬C ∞α`E_∧Tpλβ∪@`8αS@0h↓⊃(Gpε@Ahβ↓!⊂⊂'Bp⊂'@@@ αI`⊂βB `⊂∧A(T ?EC ∞↓@ P↓S`@@αS`@@αS`@@αT P↓Q(Bλ∧DcQhα@ip 'A ` '↓ ` '↓ ` 'i`_&A P &A P_&@iP_&@i@_&i@_&hp @I %↓ %@HT ⊃E#∩(∂α`0 ↓U (↓∃ (↓∃ (↓∃0 ↓U (↓∃ (↓∀`0 ↓T` (↓∀` (↓∀@0 ↓SatxπSauλ↓↓ %λ↓↓ %λ↓↓ %↓A5↓↓ %↓↓ $x↓A4x↓↓ $x↓↓ $p↓A4XπRatXπS (↓∪ (↓∪ (↓∪0 ↓S (↓∪ (↓∩`0 ↓R` (↓∩` (↓∩@0 ↓R@ (↓⊃(B FβqxεJP_*@j 8(αip ↓↓i`_α@ '@@_↓@iP_α`@λ&@`@⊂&@`@⊂&A0⊂&B)`@'BJP)B
0⊂A* _↓↓* _↓A
⊂α↓
⊂α↓
⊂α↓ 0λα@`@_%`@_↓A (↓@ (%CI`@(@J_(j⊂"Q∧QH
GcpHαα %λβB5↓@@P α∪`0 ¬S`0 ↓A4x↓↓ 0 ↓S@0(↓@`4p↓A _↓S@0 ↓@@4p↓A0⊂↓S@@⊂↓@@4xβ@@5α↓%8↓U@5(↓U % ↓T`5⊂↓@`U⊂↓`uλ↓@@0_↓T0_↓↓ $x↓A (↓∪` ↓↓@$p↓A 0↓∪ 0(↓↓@$`↓A@ (↓∪ 8↓↓ $X↓A`0_↓R@0HβR`⊂XαQ(B0
FβQh¬A*@8)B*0 ↓@J (↓@J αJ αJ αJ ↓@J ↓j @j00)A*8'α@@_&A@⊂ αi@0↓↓@⊂%A@@ ↓@I0(αA _%A P ↓I (βA⊂⊂%↓ p8%↓ p0%↓ p0%↓! %↓@p %A@P(%D)@PA)`0α↓λT ∪B"0X
A 4pαS@TpαS`4p↓S@4h↓S4X↓R`$("
αQX∃λ↓p0+B
P@)Aj ((A
'A p_'iP &@i@ &i0 %@i0_%@i _%i _%i _%i _%i _%i0⊂%@i0_&I@_&@IP_'I`_'@j_(A
(*↓
`⊂"Q¬⊃(
D8↓∀ E⊂αUE0↓U`5@↓V %H↓V@%P↓V`%X↓V`5`↓↔5`↓W5`↓W5`↓W5`↓W5`↓V`5X↓V`5Pα⊗@5Hα⊗ 5@α⊗58↓U@E(α∃E⊂αS`t`∧∩A∧Pβ⊃(BP Eb⊃ ¬j0 &@@@ &↓0_&↓ _&A ⊂α@Ip_@@0((@` 8)AiP@%↓` λ@) (α ⊂_%@@P⊂↓↓
⊂↓↓*⊂_↓A
⊂_αJ⊂_(@hT ∃DC↓λ
α%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓∩B$P ∀@%⊂↓∀@%⊂↓∀@%⊂↓∀@%⊂↓⊃(B`∧βa αiP(&A)P(&A P_&i0_%i ⊂"Q¬`0πA@λα∩@dPβ∩@dXα⊃(BxFe"@,_/@kp_/k`⊂.@kP⊂.k@⊂-@k0⊂-k ⊂,@k_,jp_+@J`_+JP_*@J@_*J0_)@J _(@j⊂_(j⊂'@ip⊂'i`⊂&@iP⊂&i@⊂%@i _%@(T ≥α"!
↓ 4pαS@TpαS`48¬@ DPβ∩@dPβ∩`D("∞aA_
¬↓_(A*⊂((A* _#B`@_&A)P(&A)P &@i@_%@i _%HT ≡Dch B∀`λQa λRB∀("∂b⊃H∞G `8&C @p%AP0%@A0%@! (+↓*`(+↓*P(*A*@()A*⊂((↓ `(&A P_&i@_&hp @I %↓ %@HT ¬c1`B`e_¬∀ @0↓T0P↓∪` h↓∪@ p↓∪ H∧S 8¬S 8↓AT`↓↓@00α∩` 8↓↓`DX↓↓@08α∩` 0↓↓`DP↓↓@08α∩@ 0↓A`DP↓↓@08α∩@ 0↓A`DP↓↓@00α∩@ 0↓A@DP↓↓`0 αR@ 8ε∩@ @¬R` @αR`$X↓∪$h↓BTpπ∀↓∧("⊗bQ@∃λ↓h)β*⊂_(@j⊂_(@J⊂⊂(j_(j_(Ip_'@ip_'@ip⊂'@I`_'i`_'I`⊂&@iP_&@iP_&@IP⊂&i@_&i@⊂&I0_%@i0_%@i0⊂%i _%β) h"QQ(
D@εTAU`↓W%`↓⊗`5X↓V`5X↓V`%X↓⊗@5P↓V@5P↓⊗@%H↓V 5H↓V 5H↓⊗5@↓V5@↓V%@↓∃`58↓U`58↓∃`%0↓U@50↓U@50↓∃@%(↓U 5(↓RATPεQ(F∧E!!8βIp_'iP_&↓ @_%A (%↓) (%@hT πα!ahA@$xα∪`Dxα∀$8α↓4p↓S@4p↓S 4h↓S 4h↓SD`α∪D`↓S4Xα∩`DXα∩`DXα∩@DPα∩`4("βb⊃λ∞F!`⊂+A
p +A⊂#A↓@_+j`_*@j@ )↓*⊂ 'A)P(&↓)0(%A) (%↓) (%↓! λ%↓A⊂%A@P %CI@`'↓hT ⊗D"pλεα∀PλQ(C` εαq8λ+⊂_+A
` *↓
0 (A* 'A P &↓ (%↓)@ &A p (↓
⊂()A
@ +↓
p ,@k λ"Qπa EbpλR@DXα∪ Dpα∀EλαT`E αU@E@α⊗ EHα⊗E0α∃U_α∀ Uα∪@Dhα∩`DPα∩`∀("↔↓⊃_∃λ⊂%I _%i _%@I0⊂%@I0_%@i0_&I@⊂&I@_&i@_&@IP⊂&@IP_&@i`⊂'I`⊂'I`_'ip⊂'@Ip⊂'@Ip_'@j⊂(J⊂(J_(j⊂⊂(@J⊂⊂"P`↔␈␈x␈␈`ε∨␈x␈␈←␈x␈␈`↓@%ελT =E#∩P⊂β@e0∧U U α∀`E_↓T`5⊂α∀@5⊂↓T@5λα∀ 5λ↓TE↓S`DP∧∩@t`↓S@$x↓∪`$x↓S`4x↓S`4x↓S`4pα∪@Dp↓S@4p↓S@4p↓S@4p↓S@4x↓∪`5βT d("∨"Q(∃λ↓((B
` +@k_,k_,k_,k_,jp +@jp_+@jp_+@jp_+@k⊂,k⊂_-↓+8+A
` +jP *@jP_*↓
@ *j@_)A
0 )@j (A p(%α) 8"Q∂@⊂πJD↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓⊃(@X
GβQh∧@J 'B P ↓@⊂⊂%A@⊂↓I0⊂α@`0⊂)@P⊂)@`⊂)@p⊂)J⊂_(@J⊂⊂(@J⊂⊂(j_(J⊂(Ip_'@ip⊂'@Ip⊂'i`_'I`⊂'HT ε¬αb0∞C@5@↓⊗%@↓⊗%8↓U`%8↓∃`%8↓∃@50↓∃@%0↓∃@%(↓U 5(↓∃ %(↓∃4`↓↓@4`↓A $h↓A 8S@0_↓↓ 4x↓@ 0_αT`λα∀!¬_α∀`$("β q_¬F`0_&↓)@(&↓)@ &↓ 0 %@i0_%@I _%@(T ⊂¬Bp8↓E∀`D ∀X↓∧ ∀X↓∧$X↓∧$XD $P
∩BD("λBAP¬F`0_¬i@(∧↓)@(∧↓)@(∧↓)@ ∧A @ ∧A 0 ∧A 0_¬i0_¬i0⊂¬@I _¬i0λε(↑x~,F(7≥
⊗04Y."*SJ5"Pi∀0$Q(Nx⊂_mv 4[Lw_1ZVh2H
F(,λ∞GH8→.w⊂4]W⊂⊂≥W@:;aF07[NF00XlV⊂<]←_;|αH3@∩∩;XH@OX≠@OX≠@∞␈␈␈x{⊂=@↓@α∩Hαi8{#∧$↔0¬[/0↓ε@H.`R>`_↓ ]@↓8a=@APα-@(ββ({↓#∧$↔0ε∂0βε@H. 4}`8↓ ]@↓H=A↓hαHt(β↔_{α#∧$↔0ε>o0¬ε@H.`
∨>`X↓ \@α@#=AA@α∩H¬ X{β#∧$↔0
≡∂0πε@H.`∩n}`x↓ ]@α(|=B↓@α∩Xβ/0{∧#∧$↔⊂εd␈0 ε@H.`
Z≡a_↓ ]@↓X<⎇BA@α∩Xβ8P{¬#∧$↔0εt?0ε@H.`
q≡a8↓ ]@↓Xh⎇C↓@α∩Xβ?{ε#∧$↔⊂παO0
ε@H.`∞%>aX↓ ]@↓`w=CA@α∩XβU_{π#∧$↔0π8∂0∂ε@H.`∂>ax↓ ]@↓pR=D↓@α∩H¬⊂x{λ#∧$↔0πr/0⊃ε@H.`∀L≡b_↓ ]@↓xg⎇DA@α∩X∧ε⊂{ #∧$↔0λ~←0∪ε@H.`⊂\↑b8↓ ]@αλw⎇E↓@α∩H∧ `{
#∧$↔⊂λM∨0∃ε@H.`⊃1↑bX↓ ]@α_ ⎇EA@α∩X∧3p{#∧$↔0 G?0↔ε@H.`⊃V>bx↓ ]@α_5=F↓@α∩Hα2X{#∧$↔0∧so0→ε@H.` y}c_↓ ]@↓ _=FA@α∩HαG8{
#∧$↔0¬~O0≠ε@H.
F>c8↓ \@↓(@=G↓@α∩Xα\_{∞#∧$↔⊂¬F∂0≥ε@H.`⊃q}cX↓ ]@α_r=GA@α∩X∧d0{∂#∧$↔0 ↓?0∨ε@H.`∪∨>cx↓ ]@α ∞=H↓@α∩X∧Ex{⊂#∧$↔0α∃∨0!ε@H. ∧F≡d_↓ \@HB⎇HA@α∩H↓≥0{⊃#∧$↔⊂αI∨0#ε@H. ¬#≡d8↓ \@Pg⎇I↓@α∩X↓2p{∩#∧$↔0αt␈0%ε@H. ¬z↑dX↓ \@`≠⎇IA@α∩H↓K⊂{∪#∧$↔0β≡←0'ε@H.`εh≡dx↓ ]@p→⎇J↓@α∩H↓j0{∀#∧$↔0β`∨0)ε@H. π`↑e_↓ ]@x{⎇JA@α∩Xα∧ {∃#∧$↔0∧⊂␈0+ε@H.`λ@≡e8↓ ]@↓λ9⎇K↓@α∩Xα!`{⊗#∧$↔0∧Q?0-ε@H.` :≡eX↓ \@α r=KA@α∩X∧k {↔#∧$↔⊂ (∨0/ε@H.`∂P}ex↓ \@α8λ⎇L↓@α∩X∧Yp{_#∧$↔⊂∧?01ε@H. ~↑f_↓ \@i⎇LA@α∩H⊂`{→#∧$↔0.␈03ε@H. m↑f8↓ \@λ}⎇M↓@α∩H&⊂{~#∧$↔0Z∨05ε@H. ↓C↑fX↓ \@_-⎇MA@α∩X<0{≠#∧$↔⊂↓↓←07ε@H. α$≡fx↓ ]@ t⎇N↓@α∩HS@{≤#∧$↔⊂↓3←09ε@H. β↑g_↓ ]@0≠⎇NA@α∩Hfp{≥#∧$↔⊂↓U←0;ε@H.`βA↑g8↓ ]@8*⎇O↓@α∩X|`{≡#∧$↔0αβ?0=ε@H.`∧≡≡gX↓ ]@α8↔⎇OA@α∩X∧}H{∨#∧$↔0 qO0?ε@H.`∂V↑gx↓ ]@↓x;} ∀m⊂=xow{⎇x